Operational semantics - PDFSEARCH.IO - Document Search Engine

Operational semantics
Results: 199

#	Item
131	FACSAn Open System Operational Semantics for an Object-Oriented and Component-Based Language Jasmin Christian Blanchette and Olaf Owe Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2009-11-22 11:37:03 Logic in computer science Programming language semantics Actor model Concurrent computing Symbol Binding Operational semantics Objective-C Computing Software engineering Computer programming
132	The University of Birmingham School of Computer Science Operational Domain Theory and Topology of Sequential Functional Languages Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-08-28 06:12:06 Mathematics Applied mathematics Denotational semantics Order theory Operational semantics Domain theory Semantics of programming languages Topology Completeness Theoretical computer science Logic in computer science Programming language semantics
133	invited paper in Proc. of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005 Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng? Center for Hybrid and Emb Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2005-03-05 16:31:49 Models of computation Programming language semantics Logic in computer science Control theory Signal processing Denotational semantics Hybrid system Scicos Operational semantics Theoretical computer science Mathematics Applied mathematics
134	Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin Ho Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-12-11 05:21:07 Metalogic Denotational semantics Structure Continuous function Sheaf Lambda calculus Orbifold Surreal number Mathematics Models of computation Model theory
135	An Operational Semantics for Network Datalog Vivek Nigam1 , Limin Jia2 , Anduo Wang1 , Boon Thau Loo1 , and Andre Scedrov1 1 University of Pennsylvania, Philadelphia, USA Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematical logic Datalog Predicate Logic programming Function Modal logic Logic Mathematics Programming paradigms
136	Run Your Research On the Effectiveness of Lightweight Mechanization Casey Klein1 Matthew Flatt4 John Clements2 Add to Reading List Source URL: eecs.northwestern.edu Language: English - Date: 2011-11-14 12:38:44 Control flow Theoretical computer science Logic in computer science Functional programming Continuations Lambda calculus Robert Bruce Findler Reduction strategy Operational semantics Software engineering Computing Programming language theory
137	Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-12-16 08:06:13 Logical syntax Theoretical computer science Logic in computer science Proof theory Coinduction Rule of inference Theorem Formal proof Structural induction Logic Mathematics Mathematical logic
138	Experiments in validating formal semantics for C Sandrine Blazy ENSIIE and INRIA Rocquencourt [removed] Abstract. This paper reports on the design of adequate on-machine Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2008-06-30 05:17:26 Logic in computer science Formal methods Compiler construction Programming language semantics Formal verification Xavier Leroy Coq Operational semantics Compcert Software engineering Theoretical computer science Computing
139	Coinductive big-step operational semantics Xavier Leroy INRIA Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-01-03 04:15:57 Logic in computer science Mathematical induction Programming language semantics Category theory Coinduction Operational semantics Structural induction Theorem Lambda calculus Mathematics Logic Theoretical computer science
140	High-level Coordination Specification Operational semantics for Kanor Joseph A. Cottam Eric Holk William E. Byrd CREST ∗ Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-06-18 12:19:54 Communication Programming paradigms Message passing Parallel programming model Kinnauri language Control flow ALGOL 68 Computing Software engineering Computer programming

UPDATE